Nuprl Definition : ma-ds
11,40
postcript
pdf
M
.ds(
x
) ==
M
.1(
x
)?Top
latex
clarification:
M
.ds(
x
) == fpf-cap(
M
.1;IdDeq;
x
;Top)
latex
Definitions
f
(
x
)?
z
,
t
.1
,
IdDeq
,
Top
FDL editor aliases
ma-ds
origin
